fermi electron gun ion optics design indoor air quality industrial design leed tevatron architettura arredamento accelerator ir detector training ion gun storage ring interval international fermilab rci infrared high-energy